Pays
Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur l'OCR

Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.

Eléments de l'association

République tchèque26
Antonín Ku Era1
République tchèque Sauf Antonín Ku Era" 25
Antonín Ku Era Sauf République tchèque" 0
République tchèque Et Antonín Ku Era 1
République tchèque Ou Antonín Ku Era 26
Corpus7533
\n\n\n\n \n

List of bibliographic references

Number of relevant bibliographic references: 1.
Ident.Authors (with country if any)Title
001730 Petr Jan Ar [République tchèque] ; Antonín Ku Era [République tchèque] ; Faron Moller [Royaume-Uni]Deciding Bisimilarity between BPA and BPP Processes
Wicri

This area was generated with Dilib version V0.6.32.
Data generation: Sat Nov 11 16:53:45 2017. Site generation: Mon Mar 11 23:15:16 2024